তহবিল সংগ্রহ ১৫ সেপ্টেম্বর 2024 – ১লা অক্টোবর 2024 তহবিল সংগ্রহের বিষয়ে
1
The Haskell Road to Logic, Maths and Programming

The Haskell Road to Logic, Maths and Programming

Kees Doets, van Jan Eijck
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 1.42 MB
5.0 / 4.5
english, 2004
2
Set theory

Set theory

Kenneth Kunen
সাল:
2013
ভাষা:
english
ফাইল:
DJVU, 3.80 MB
0 / 0
english, 2013
3
Learn Prolog Now

Learn Prolog Now

Patrick Blackburn, Johan Bos, Kristina Striegnitz
সাল:
2006
ভাষা:
english
ফাইল:
PDF, 1.63 MB
1.0 / 3.0
english, 2006
4
Knowledge and Belief - An Introduction to the Logic of the Two Notions

Knowledge and Belief - An Introduction to the Logic of the Two Notions

Jaakko Hintikka, Vincent F. Hendricks, John Symons
সাল:
2005
ভাষা:
english
ফাইল:
PDF, 5.05 MB
4.0 / 0
english, 2005
5
Microeconomics: An Intuitive Approach with Calculus

Microeconomics: An Intuitive Approach with Calculus

Thomas J. Nechyba
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 71.81 MB
0 / 0
english, 2010
6
Heuristics, Probability, and Causality. Tribute to Judea Pearl

Heuristics, Probability, and Causality. Tribute to Judea Pearl

Rina Dechter, Hector Geffner, Joseph Y. Halpern
সাল:
2010
ভাষা:
english
ফাইল:
PDF, 14.27 MB
0 / 0
english, 2010
7
Implementing Programming Languages. an Introduction to Compilers and Interpreters

Implementing Programming Languages. an Introduction to Compilers and Interpreters

Aarne Ranta
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 1.80 MB
2.0 / 5.0
english, 2012
8
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
সাল:
2012
ভাষা:
english
ফাইল:
DJVU, 2.11 MB
0 / 0
english, 2012
9
A Treatise on the Binomial Theorem

A Treatise on the Binomial Theorem

Craig Smorynski
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 28.63 MB
0 / 0
english, 2012
10
Language C++ et calcul scientifique

Language C++ et calcul scientifique

Pierre Saramito
সাল:
2013
ভাষা:
french
ফাইল:
PDF, 6.24 MB
0 / 5.0
french, 2013
11
Logical reasoning : a first course

Logical reasoning : a first course

Rob. Nederpelt, Fairouz. Kamareddine
সাল:
2011
ভাষা:
english
ফাইল:
PDF, 10.06 MB
0 / 0
english, 2011
12
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov Gabbay, John Horty, Xavier Parent, Ron van der Meyden, Leendert van der Torre (eds.)
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 24.82 MB
0 / 0
english, 2013
13
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
সাল:
2009
ভাষা:
english
ফাইল:
PDF, 24.59 MB
0 / 5.0
english, 2009
14
Intuitionistic Set Theory

Intuitionistic Set Theory

John L. Bell
সাল:
2014
ভাষা:
english
ফাইল:
PDF, 4.89 MB
0 / 0
english, 2014
15
Handbook of Paraconsistency

Handbook of Paraconsistency

Béziau, Jean-Yves, Carnielli, Walter Alexandre, Gabbay, Dov M.
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 13.24 MB
0 / 0
english, 2007
16
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 63.98 MB
0 / 0
english, 2015
17
How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

How to Sell a Contradiction: The Logic and Metaphysics of Inconsistency

Francesco Berto
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 31.19 MB
0 / 0
english, 2007
18
Philosophical applications of modal logic

Philosophical applications of modal logic

Humberstone, Lloyd
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 78.03 MB
0 / 0
english, 2015
19
Chapters in Mathematics. from Pi to Pell

Chapters in Mathematics. from Pi to Pell

Craig Smorynski
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 15.00 MB
0 / 0
english, 2012
20
The Measurement of Intelligence

The Measurement of Intelligence

Edward L. Thorndike, E O Bregman, M V Cobb, Ella Woodyard
সাল:
1925
ভাষা:
english
ফাইল:
PDF, 28.30 MB
0 / 0
english, 1925
21
Handbook of Mathematical Fuzzy Logic

Handbook of Mathematical Fuzzy Logic

Petr Cintula, Christian G Fermueller, Carles Noguera (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 36.12 MB
0 / 0
english, 2015
22
Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church’s Type Theory

C. E. Brown
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 51.63 MB
0 / 0
english, 2007
23
Errors of Reasoning. Naturalizing the Logic of Inference

Errors of Reasoning. Naturalizing the Logic of Inference

John Woods
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 7.78 MB
0 / 0
english, 2013
24
Chapters in Probability

Chapters in Probability

Craig Smorynski
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 53.88 MB
0 / 0
english, 2012
25
Adventures in Formalism

Adventures in Formalism

Craig Smorynski
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 40.60 MB
0 / 0
english, 2012
26
Dictionary of Argumentation

Dictionary of Argumentation

Christian Plantin
সাল:
2018
ভাষা:
english
ফাইল:
PDF, 11.68 MB
0 / 0
english, 2018
27
The Kingship of Christ and the Conversion of the Jewish Nation

The Kingship of Christ and the Conversion of the Jewish Nation

FAHEY, Rev. Denis
সাল:
1953
ভাষা:
english
ফাইল:
PDF, 7.83 MB
0 / 5.0
english, 1953
28
Mathematical perspectives on theoretical physics: a journey from black holes to superstrings

Mathematical perspectives on theoretical physics: a journey from black holes to superstrings

Nirmala Prakash
সাল:
2003
ভাষা:
english
ফাইল:
DJVU, 8.02 MB
0 / 0
english, 2003
29
Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Logic, Navya-Nyāya & Applications (Homage to Bimal Krishna Matilal)

Mihir K. Chakraborty, Benedikt Lowe, Madhabendra Nath Mitra, Sundar Sarukkai (ed.)
সাল:
2008
ভাষা:
english
ফাইল:
PDF, 28.43 MB
0 / 0
english, 2008
30
Logic and Philosophy Today

Logic and Philosophy Today

Amitabha Gupta, Johan van Benthem (ed.)
সাল:
2011
ভাষা:
english
ফাইল:
PDF, 40.10 MB
0 / 0
english, 2011
31
Meta-Argumentation. an Approach to Logic and Argumentation Theory

Meta-Argumentation. an Approach to Logic and Argumentation Theory

Maurice A. Finocchiaro
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 35.86 MB
0 / 0
english, 2013
32
Handbook of Deontic Logic and Normative Systems

Handbook of Deontic Logic and Normative Systems

Dov M Gabbay, John Horty, Xavier Parent (eds.)
সাল:
2013
ভাষা:
english
ফাইল:
PDF, 3.23 MB
0 / 0
english, 2013
33
New directions in logic and the philosophy of science

New directions in logic and the philosophy of science

Felline, Laura, Ledda, Antonio, Paoli, Francesco, Rossanese, Emanuele et al. (eds.)
সাল:
2016
ভাষা:
english
ফাইল:
PDF, 2.18 MB
0 / 0
english, 2016
34
Learn Prolog Now!

Learn Prolog Now!

Patrick Blackburn, Johan Bos, Kristina Striegnitz
সাল:
2001
ভাষা:
english
ফাইল:
PDF, 432 KB
0 / 4.0
english, 2001
35
Proof-theoretic Semantics

Proof-theoretic Semantics

Nissim Francez
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 33.12 MB
0 / 0
english, 2015
36
The Haskell road to logic, maths and programming

The Haskell road to logic, maths and programming

Kees Doets, J van Eijck
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 1.21 MB
5.0 / 0
english, 2004
37
Philosophy and History of Talmudic Logic

Philosophy and History of Talmudic Logic

Andrew Schumann
সাল:
2017
ভাষা:
english
ফাইল:
PDF, 3.49 MB
0 / 5.0
english, 2017
38
Aristotle's Earlier Logic

Aristotle's Earlier Logic

John Woods
সাল:
2014
ভাষা:
english
ফাইল:
PDF, 4.71 MB
0 / 0
english, 2014
39
Foundations of the formal sciences 1: the history of the concept of the formal sciences

Foundations of the formal sciences 1: the history of the concept of the formal sciences

Löwe, Benedikt, Peckhaus, Volker, Räsch, Thoralf (eds.)
সাল:
2002
ভাষা:
english
ফাইল:
PDF, 1.70 MB
0 / 0
english, 2002
40
The Foundations of Mathematics

The Foundations of Mathematics

Kenneth Kunen
সাল:
2009
ভাষা:
english
ফাইল:
DJVU, 1.99 MB
0 / 0
english, 2009
41
Talmudic Logic (Studies in Talmudic Logic)

Talmudic Logic (Studies in Talmudic Logic)

Andrew Schumann
সাল:
2012
ভাষা:
english
ফাইল:
PDF, 4.58 MB
0 / 5.0
english, 2012
42
Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition

Luis M Augusto
সাল:
2017
ভাষা:
english
ফাইল:
PDF, 3.71 MB
0 / 5.0
english, 2017
43
Incompleteness in the Land of Sets

Incompleteness in the Land of Sets

Melvin Fitting
সাল:
2007
ভাষা:
english
ফাইল:
DJVU, 2.84 MB
0 / 0
english, 2007
44
Proof Theory of N4-Paraconsistent Logics

Proof Theory of N4-Paraconsistent Logics

Norihiro Kamide, Heinrich Wansing
সাল:
2015
ভাষা:
english
ফাইল:
PDF, 37.87 MB
0 / 0
english, 2015
45
Gottlob Frege. Una Introducción

Gottlob Frege. Una Introducción

Markus Stepanians (Traducción Juan Redmond)
সাল:
2007
ভাষা:
spanish
ফাইল:
PDF, 2.02 MB
0 / 0
spanish, 2007
46
Algebra, Logic, Set Theory

Algebra, Logic, Set Theory

B. Loewe (ed.)
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 93.77 MB
0 / 0
english, 2007
47
Handbook of Epistemic Logic

Handbook of Epistemic Logic

Hans van Ditmarsch, Joseph Y. Halpern, Wiebe van der Hoek, Barteld Kooi (eds.)
সাল:
2015
ভাষা:
english
ফাইল:
DJVU, 7.29 MB
0 / 0
english, 2015
48
Logical Reasoning: A First Course

Logical Reasoning: A First Course

Rob P. Nederpelt, Fairouz D. Kamareddine
সাল:
2004
ভাষা:
english
ফাইল:
PDF, 80.72 MB
0 / 3.0
english, 2004
49
Rating scales in psychiatry

Rating scales in psychiatry

Tyrer, Peter J., Methuen, Caroline
সাল:
2007
ভাষা:
english
ফাইল:
PDF, 1.11 MB
0 / 0
english, 2007
50
Elementary Logic with Applications: A Procedural Perspective for Computer Scientists

Elementary Logic with Applications: A Procedural Perspective for Computer Scientists

D M Gabbay, O T Rodrigues
সাল:
2016
ভাষা:
english
ফাইল:
DJVU, 3.64 MB
0 / 0
english, 2016